$\forall$${\it the\_es}$:ES. Trans $x$,$y$:E. ($x$ $<$loc $y$)